#include<stdio.h>
int main()
{
	printf("%#X\n", 0xABCDEF);
	return 0;
}

/*int main()
{
	int ch = 0;
   
	 while ((ch = getchar())!=EOF){
    
	//putchar(ch + 32);
	//printf("\n");
		 printf("%c\n", ch + 32);
	getchar();

	}
	
	return 0;
}
*/


/*int main()
{
	int n;
	scanf("%d", &n);
	while (n)
	{
		printf("%d", n % 10);
		n = n / 10;
	}
	return 0;
}*/



/*int main()
{
	//printf("0%o OX%X\n", 1234, 1234);
	printf("%#o %#X\n", 1234, 1234);
	return 0;

}
*/

/*int main()
{
	printf("The size of short is %d bytes.\n", sizeof(short));
	printf("The size of int is %d bytes.\n", sizeof(int));
	printf("The size of long is %d bytes.\n", sizeof(long));
	printf("The size of long long is %d bytes.\n", sizeof(long long));
	return 0;
}*/
